int searchfile31( char *name, char *outputfile );
